منابع مشابه
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. Implementations of the η-reduction are provided for each calculi. Other explicit substitutions calculi can be incorporated into th...
متن کاملTowards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
The development of compositional distributional models of semantics reconciling the empirical aspects of distributional semantics with the compositional aspects of formal semantics is a popular topic in the contemporary literature. This paper seeks to bring this reconciliation one step further by showing how the mathematical constructs commonly used in compositional distributional models, such ...
متن کاملLaparoscopic calyceal diverticulectomy
Laparoscopic calyceal diverticulectomy Cristina Bonastre, Gabriel Briones Hospital Son Llàtzer, Department of Urology, Palma de Mallorca, Spain Calyceal diverticulum are cystic cavities within renal parenchyma lined by nonsecretory epithelium and communicating with the collecting system via a narrow channel. Usually they are asymptomatic and under one centimeter. The indications of surgical tre...
متن کاملEvaluation of Renal Calculi Passage While Riding a Roller Coaster.
CONTEXT The identification and evaluation of activities capable of dislodging calyceal renal calculi require a patient surrogate or validated functional pyelocalyceal renal model. OBJECTIVE To evaluate roller coaster facilitation of calyceal renal calculi passage using a functional pyelocalyceal renal model. METHODS A previously described adult ureteroscopy and renoscopy simulator (Ideal An...
متن کاملPercutaneous Holmium Laser Fulguration of Calyceal Diverticula
Introduction. Calyceal diverticular stones are uncommon findings that represent a challenge in their treatment, due to the technical difficulty in accessing the diverticulum, and the high risk of their recurrence. Current percutaneous technique for calyceal diverticular stones involves establishing a renal access, clearing the stone, and fulguration of the diverticular lining with a roller-ball...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Roentgenology
سال: 1980
ISSN: 0361-803X,1546-3141
DOI: 10.2214/ajr.134.3.507